R. M. Friedberg demonstrated the existence of a recursive functional that agrees with no Banach-Mazur functional on the class of recursive functions. In this paper Friedberg's result is generalized to both α-recursive functionals and weak α-recursive functionals for all admissible ordinals α such that $\lambda , where α * is the Σ 1 -projectum of α and λ is the Σ 2 -cofinality of α. The theorem is also established for the metarecursive case, α = ω 1 , where α (...) * = λ = ω. (shrink)

Dominical categories are categories in which the notions of partial morphisms and their domains become explicit, with the latter being endomorphisms rather than subobjects of their sources. These categories form the basis for a novel abstract formulation of recursion theory, to which the present paper is devoted. The abstractness has of course its usual concomitant advantage of generality: it is interesting to see that many of the fundamental results of recursion theory remain valid in contexts far removed from their classic (...) manifestations. A principal reason for introducing this new formulation is to achieve an algebraization of the generalized incompleteness theorem, by providing a category-theoretic development of the concepts and tools of elementary recursion theory that are inherent in demonstrating the theorem.Dominical recursion theory avoids the commitment to sets and partial functions which is characteristic of other formulations, and thus allows for an intrinsic recursion theory within such structures as polyadic algebras. It is worthy of notice that much of elementary recursion theory can be developedwithout referencetoelements.By Gödel's generalized incompleteness theorem for consistent arithmetical systemTwe mean any statement of the following sort: if every recursive set is definable inT, thenTis essentially undecidable [41]; or if all recursive functions are definable inT, thenTis essentially undecidable [41]; or if every recursive set is definable inT, thenT0andR0 are recursively inseparable [39]; or if all re sets are representable inT, thenT0is creative [28], [39]; or ifTis a Rosser theory, thenT0andR0are effectively inseparable [39]. (shrink)

While memory is conceptualized predominantly as an individual capacity in the cognitive and biological sciences, the social sciences have most commonly construed memory as a collective phenomenon. Collective memory has been put to diverse uses, ranging from accounts of nationalism in history and political science to views of ritualization and commemoration in anthropology and sociology. These appeals to collective memory share the idea that memory ‘‘goes beyond the individual’’ but often run together quite different claims in spelling out that idea. (...) This paper reviews a sampling of recent work on collective memory in the light of emerging externalist views within the cognitive sciences, and through some reflection on broader traditions of thought in the biological and social sciences that have appealed to the idea that groups have minds. The paper concludes with some thoughts about the relationship between these kinds of cognitive metaphors in the social sciences and our notion of agency. (shrink)

Prosocial behavior is critical for the natural development of an individual as well as for promoting social relationships. Although this complex behavior results from gratuitous acts occurring between an agent and a recipient and a wealth of literature on prosocial behavior has investigated these actions, little is known about the effects on the recipient and the neurobiology underlying them. In this study, we used functional magnetic resonance imaging to identify neural correlates of receiving prosocial behavior in the context of real-world (...) experiences, with different types of action provided by the agent, including practical help and effort appreciation. Practical help was associated with increased activation in a network of regions spanning across bilateral superior temporal sulcus, temporoparietal junction, temporal pole, and medial prefrontal cortex. Effort appreciation was associated with activation and increased task-modulated connectivity of the occipital cortex. Prosocial-dependent brain responses were associated with positive affect. Our results support the role of the theory of mind network and the visual cortices in mediating the positive effects of receiving gratuitous help. Moreover, they indicate that specific types of prosocial behavior are mediated by distinct brain networks, which further demonstrates the uniqueness of the psychological processes underlying prosocial actions. (shrink)

Christian theology is one of the most neglected areas of Leibniz’s thought. It is a subject that engaged his attention throughout his intellectual career. He seems to have been very well informed about the main currents of theological opinion in his own time, and to have had an extensive knowledge of historic doctrinal positions. He left behind a wealth of letters and unpublished papers discussing topics in revealed theology; but this resource for understanding both his own thought and the history (...) of theology at the dawn of the Enlightenment remains largely unmined. The Academy edition of Leibniz’s works includes as yet no systematic project for the publication of his theological papers—the largest class of his papers—although important treatments of theological subjects are finding their way into series I and VI. Gaston Grua surveyed and assembled a large quantity of theological texts, but these are organized around Grua’s interest in Leibniz’s theodicy, so that Leibniz’s views on topics such as grace, predestination, and theological method are represented much more richly than other topics in revealed theology. Another topic much discussed in the secondary literature is Leibniz’s treatment of eucharistic theology, which has attracted attention because it is involved both in his negotiations about reunion of the churches and in some of his major discussions of issues about corporeal substance. But other central topics of Christian theology have received much less attention in the secondary literature; and this is true in particular of the doctrines of the Trinity and the Incarnation, even though they are rich in metaphysical resonance and Leibniz had quite a lot to say about them. (shrink)

This article seeks to address the problem of the ‘resource consumption bottleneck’ of creating legal semantic technologies manually. It describes a semantic role labeling based information extraction system to extract definitions and norms from legislation and represent them as structured norms in legal ontologies. The output is intended to help make laws more accessible, understandable, and searchable in a legal document management system.

"Uprightness" was termed the "leitmotiv in the formation of the human organism" by Erwin Straus (1966, p. 139). He felt that without it the human being was certainly doomed to die. Yet, what happens with those who are deprived of their "uprightness" in either the literal or moral sense (as in "not to stoop to anything"), through becoming Dis-abled? Getting up, rising in opposition to the "other" (Allon) implies a moral dimension in the case of human Dis-ability which is tied (...) to the leitmotiv established by the upright posture of anthropos . The suggestion that there is a moral dimension to Disability is a radical notion in a culture whose health professionals have become very sensitive to any idea that suggests we are blaming those who through no fault of their own have become in some way disadvantaged as compared to the mainstream of society. Although the importance of rising in opposition to the world (Allon) was perhaps originally established upon the upright posture quite literally, because man is a sense-making and sense-giving creature, this primordial act which establishes our full humanity may itself be represented and re-enacted in a variety of ways which can and should become the central project of rehabilitation of the body, as opposed to the current emphasis on technique and technological innovation. It is in the changing physiognomy of the Dis-abled person's ruptured world that we may discover the phenomenological sense of Dis-ability. Keywords: Dis-Ability, Uprightness, Rehabilitation CiteULike Connotea Del.icio.us What's this? (shrink)

The place of play in the education of young children has been the focus of much interest in the past. But the findings from this research project demonstrate that there remains a significant amount of confusion about the role that play has in young children's education. In particular we found that there is a clear distinction between the rhetoric and reality of play in the reception class. Further, there was evidence of real anguish for some early years workers who were (...) failing to offer the play activities that they knew should be provided. These findings are particularly interesting at present, since the debate on the role of play has once again emerged as fundamental in the attempt to define a curriculum appropriate to the needs of the 3-6 year olds who, from the year 2000, will be required to work within the highly contentious Foundation Stage of the National Curriculum. (shrink)

Introduction -- Reconstructing Nīsābūrī's early education -- Nīsābūrī's early scientific thought -- Nīsābūrī's early religious thought -- Astrology motivating inductions about God's power -- Nīsābūrī's later scientific thought -- The impact of science on Nīsābūrī's religious thought -- The limits of science's influence on Nīsābūrī's religious thought -- Conclusion.

This essay offers an exegesis and critique of the moment of community formation in Agamben’s Homo Sacer Project. In The Sacrament of Language, Agamben searches for the site of a non-sovereign community founded upon the oath [horkos, sacramentum]: an ancient institution of language that produces and guarantees the connection between speech and the order of things by calling the god as a witness to the speaker’s fidelity. I argue that Agamben’s account ultimately falls short of subverting sovereignty, however, because the (...) sacramentum derives its power, at a fundamental level, from the ‘monothetic’ structure of truth—what Agamben calls ‘the name of God’ [il nome di Dio]. I propose we may yet salvage the oath as a means of subverting sovereignty, however, if we reconsider it in the context of polytheism, where the names of the gods [i nomi degli dei] can be many, while remaining powerful. First, through a reading of Aeschylus’ Eumenides, I argue that the Greeks understood the oath to function even where truth and falsity were inherently undecidable. Second, I argue that if we separate the truth and power functions interwoven in the sacramentum, we find a second formula, the decisory oath, which can be taken in order to produce a community even in the absence of one sovereign truth. As a kind of magical speech, the decisory oath provides the limit conditions for the possibility of distinguishing true from false in the sacramentum, and thus founds it. (shrink)

High-level perception--”the process of making sense of complex data at an abstract, conceptual level--”is fundamental to human cognition. Through high-level perception, chaotic environmen- tal stimuli are organized into the mental representations that are used throughout cognitive pro- cessing. Much work in traditional artificial intelligence has ignored the process of high-level perception, by starting with hand-coded representations. In this paper, we argue that this dis- missal of perceptual processes leads to distorted models of human cognition. We examine some existing artificial-intelligence models--”notably (...) BACON, a model of scientific discovery, and the Structure-Mapping Engine, a model of analogical thought--”and argue that these are flawed pre- cisely because they downplay the role of high-level perception. Further, we argue that perceptu- al processes cannot be separated from other cognitive processes even in principle, and therefore that traditional artificial-intelligence models cannot be defended by supposing the existence of a --œrepresentation module--� that supplies representations ready-made. Finally, we describe a model of high-level perception and analogical thought in which perceptual processing is integrated with analogical mapping, leading to the flexible build-up of representations appropriate to a given context. (shrink)

Interpreted Logical Forms are objects composed of a syntactic structure annotated with the semantic values of each node of the structure. We criticize the view that ILFs are the objects of propositional attitude verbs such as believe, as this is developed by Larson and Ludlow. Our critique arises from a tension in the way that sen-.

In this paper, we propose a reading of Robert Musil’s controversial notion of the “other condition” in light of the basic features of the philosophical doctrine of externalism, as formulated in the classical account of the extended mind proposed by Andy Clark and David Chalmers (1998). Our reading is not meant to exhaust the complexity and polysemy of the idea of the other condition, but merely aims to open up a possible perspective on the interpretation of a concept that (...) is as elusive as it is central in Musil’s thinking. (shrink)

Considerable historiographical controversy surrounds the question of why and how Copernicus decided to overturn the prevailing Earth-centered representation of the heavens. This essay summarizes some key elements of an explanation first laid out in The Copernican Question: Prognostication, Skepticism, and Celestial Order (2011) and subsequently expanded with further evidence in Copernicus and the Astrologers (2016). Copernicus’s defining problem situation is to be found in his involvement in a culture of astrological prognostication during his student days in Bologna (1496–1500). Just before (...) Copernicus’s arrival in the fall of 1496, Giovanni Pico della Mirandola’s attack on the foundations of astrology appeared from a prominent Bologna publisher. This publisher also produced several of the prognostications authored by Domenico Maria di Novara, in whose house Copernicus lodged. Among Pico’s many charges was a claim that astrologers do not agree on the order of the planets. Although the word “astrology” appears only once in Copernicus’s extant writings, it is certain that he was aware of Pico’s account of the astrologers’ disagreements on the matter of planetary order. The Copernican Question sets forth an inference about how and why Copernicus turned to heliocentrism that claims to be not only plausible but also the likeliest to correspond to what actually happened. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

Uteroferrin, a purple‐colored, iron‐containing acid phosphatase, with many of the properties of a lysosomal hydrolase, transports iron from the mother to the conceptus in pregnant pigs. Uteroferrin, however, is but one member of what may be a broad class of iron‐containing phosphatases with unusual spectral properties which result from a novel type of di‐iron active site. The biological function of uteroferrin is unknown. We argue here that the in vivo function of uteroferrin, despite its undoubted ability to act as a (...) potent acid phosphatase, is that of a transplacental iron transporter. (shrink)

Religion within the Boundaries of Mere Reason is a key element of the system of philosophy which Kant introduced with his Critique of Pure Reason, and a work of major importance in the history of Western religious thought. It represents a great philosopher's attempt to spell out the form and content of a type of religion that would be grounded in moral reason and would meet the needs of ethical life. It includes sharply critical and boldly constructive discussions on topics (...) not often treated by philosophers, including such traditional theological concepts as original sin and the salvation or 'justification' of a sinner, and the idea of the proper role of a church. This volume presents it and three short essays that illuminate it in new translations by Allen Wood and George di Giovanni, with an introduction by Robert Merrihew Adams that locates it in its historical and philosophical context. (shrink)